1081. Verifying concurrent processes using temporal logic
پدیدآورنده : Hailpern, Brent Tzion
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Parallel processing )Electronic computers(,، Computer programs - Verification
رده :
QA
76
.
L4
v
.
129
1082. Verifying concurrent processes using temporal logic
پدیدآورنده : Hailpern, Brent Tzion
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer programs-- Verification
رده :
QA
76
.
6
.
H295
1982
1083. Verifying concurrent processes using temporal logic
پدیدآورنده : Hailpern, Brent Tzion, 5591-
کتابخانه: (طهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
129
1084. WOPPLOT 83 : Parallel Proceeding : Logic, Organization and Technology : Proceedings of a Workshop held at the Federal Armed Forces University Munich )HSB w M( Neubiberg, Bavaria, Germany, June 27-29,1983
پدیدآورنده : edited by J. Becker, I. Eisele
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QC
3
.
L28
Vol
.
196
1085. WOPPLOT 83: parallel processing-- Logic, organization, and technology: proceedings of a workshop held at the Federal Armed Forces University Munich )HSBw M( Neubiberg, Bavaria, Germany, June 27-29, 1983
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Parallel processing )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
W685
1983
1086. WOPPLOT 86: parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986
پدیدآورنده : edited by J.D. Becker and I. Eisele
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
253
1087. WOPPLOT 86 : parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986
پدیدآورنده : WOPPLOT 68, )6891, Neubiberg, Germany(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L4
v
.
253
1088. WOPPLOT 83 : parallel processing--logic, organization, and technology : proceedings of a workshop held at the Federal Armed Forces University Munich )HSBw M( Neubiberg, Bavaria, Germany, June 27-29, 1983
پدیدآورنده : WOPPLOT 38, )3891, Neubiberg, Germany(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Parallel processing )Electronic computers(,، VM/CMS )Computer operating system(
رده :
QA
76
.
6
.
W685
1983
1089. advanced computer architecture and parallel processing
پدیدآورنده : Mostafa Abd-El-Barr, Hesham El-Rewini
کتابخانه: (کرمان)
موضوع : Computer architecture,Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
A73
,
A24
2005
1090. arrays /-Parallel programming with co
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ;
1091. based discrete systems-Dynamic analysis of Petri net
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : time systems. ; Petri nets. ; Parallel processing (Electronic computers) ; -Digital control systems ; Design and construction. ; Discrete
1092. concurrency theory-CONCUR 2007
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ; Machine theory. ;
1093. concurrency theory-Concur 2008
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ; Congresses. ; Parallel programming (Computer science) ;
1094. distributed processing, and applications :&Advances in parallel
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ; Congresses. ;
1095. grain parallelism /-Exploitation of fine
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ;
1096. grid and cluster computing
پدیدآورنده : / C.S.R. PRABHM
کتابخانه: المكتبة المركزية لجامعة إيلام (إیلام)
موضوع : Electronic data processing, Distributed processing,Parallel processing (Electronic computers)
رده :
QA76
.
9
P7G7
2008
1097. oriented parallel environments :-Computing in object
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : oriented programming (Computer science) ; Parallel processing (Electronic computers) ; -Object
1098. performance parallel database processing and grid databases-High
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : High performance computing. ; Parallel processing (Electronic computers) ; Computational grids (Computer systems) ;
1099. proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Parallel processing )Electronic computers(- Congresses,، Electronic data processing- Distributed processing- Congresses
1100. 1997 3rd International Conference on Algorithms and Architectures for Parallel Processing :
پدیدآورنده : editors Andrzej Goscinski, Michael Hobbs, Wanlei Zhou ; sponsors Dekin University, Faculty of Science and Technology Deakin University, IEEE Victorian Section.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers), Congresses.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Parallel processing (Electronic computers)
رده :
QA76
.
58
.
I528
1997
